#ifndef H_SERVER_20081011
#define H_SERVER_20081011

int server_lock (void);
void server_unlock (void);
int server_halt (void);
int server_restart (void);
#endif
